Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
481	RAC Rev. R. Acad. Cien. Serie A. Mat. VOL[removed]), 2004, pp. 17–53 Ciencias de la Computaci´on / Computational Sciences Add to Reading List Source URL: dmle.cindoc.csic.es Language: English - Date: 2006-11-08 13:46:09 Proof theory Logical syntax Automated theorem proving Metalogic Propositional calculus Sequent First-order logic KeY Well-formed formula Logic Mathematical logic Mathematics
482	GOTHENBURG MONOGRAPHS IN LINGUISTICS 14 A LOGICAL APPROACH TO COMPUTATIONAL CORPUS LINGUISTICS Torbjörn Lager Add to Reading List Source URL: www.ling.gu.se Language: English - Date: 1996-05-30 05:52:45 Computational linguistics Interdisciplinary fields Corpus linguistics Applied linguistics Grammar Treebank Syntax Concordance Natural language processing Science Linguistics Knowledge
483	TAS — A Generic Window Inference System Christoph L¨ uth1 and Burkhart Wolff2 1 2 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2008-02-15 04:25:17 Logical syntax Mathematical logic Deduction Theorems Mathematical proof Natural transformation Natural deduction Formal proof Standard ML Logic Mathematics Proof theory
484	Comparative Vertebrate Physiology[removed]by Roy Meyers & Loretta Parsons – ver[removed]Introduction to web-HUMAN 6 (This introduction is designed to be used while also interactively running the web-HUMAN program) Add to Reading List Source URL: www.skidmore.edu Language: English - Date: 2005-06-09 14:29:55 Regression analysis Algebra Logical syntax Mathematical model Parameter Computer simulation Simulation Environment variable Economic model Mathematics Statistics Variables
485	TLA+ Veriﬁcation of Cache-Coherence Protocols Homayoon Akhiani, Damien Doligez∗ , Paul Harter, Leslie Lamport, Mark Tuttle, and Yuan Yu Compaq Joshua Scheid Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Proof theory Mathematical logic Logical syntax Formal systems Logical truth Model checking Communications protocol Formal methods Correctness Logic Mathematics Computing
486	PDF Document Add to Reading List Source URL: www.lind-i.com Language: English - Date: 2014-03-16 21:29:52 Logical syntax Philosophical logic Philosophy of language Theorems Axiom Logic Mathematics Logical consequence
487	PDF Document Add to Reading List Source URL: www.dingli.org Language: English - Date: 2013-11-05 03:23:12 Variables Boolean algebra Mathematics Algebra Logical syntax
488	Microsoft Word - AG3-FinitaryCut Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2008-11-02 06:24:07 Predicate logic Logical syntax Model theory First-order logic Linear logic Finitary Calculus of structures Modal logic Mereology Logic Mathematical logic Non-classical logic
489	BOOK REVIEW [to appear in The Philosophical Review] Emma Borg, Minimal Semantics. Oxford: Oxford University Press, 2004. Pp. x, 288. This book is an effective antidote to the epidemic of contextualism that has spread thr Add to Reading List Source URL: userwww.sfsu.edu Language: English - Date: 2006-11-01 08:49:45 Meaning Philosophical logic Philosophy of language Semantics Logical syntax Contextualism Kent Bach Proposition Truth Philosophy Logic Analytic philosophy
490	Ancient symbols, computational linguistics, and the reviewing practices of the general science journals Richard Sproat∗ Center for Spoken Language Understanding Add to Reading List Source URL: rws.xoba.com Language: English - Date: 2010-07-09 14:35:17 Formal languages Natural language processing Logical syntax Metalogic Indus Valley Civilization Indus script Entropy Writing system Pictish stones Science Linguistics Logic

UPDATE